Using Programming To Prove That Traps Aren't Gay